Time in the Poem

The Implementation of Mazurkiewicz Traces in POEM

We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to store trace systems, which allows sharing common prefixes among traces and therefore, reduces memory cost. This structure is easy to extend to incorporate additional features. Two applications are shown in the paper: An ...

a time-series analysis of the demand for life insurance in iran

با توجه به تجزیه و تحلیل داده ها ما دریافتیم که سطح درامد و تعداد نمایندگیها باتقاضای بیمه عمر رابطه مستقیم دارند و نرخ بهره و بار تکفل با تقاضای بیمه عمر رابطه عکس دارند

Life: A Poem

Quranicintertextuality in Abdol Alrahim Buraei poem

Intertextuality, introduced following linguistic researches in the West, is a newly coined term that refers to an old notion and was previously known in terms like: citation, adaptation, borrowing and mimesis. Most of the Muslim poets have been inspired by Quran since it has always been a source of inspiration for them, opening new horizons in front of their eyes. Thus, using Quranic verses has...

The Virtual Electronic POEM (VEP) Project

This paper outlines a demonstration of the reconstruction of the Poème électronique experience using virtual reality and binaural audio techniques. Here we discuss the genesis of the project, the search for original material, discovery of clues for the reconstruction of several sections of the artwork and the creation of the VR/binaural installation within the context of an interactive exhibition.